
#edit-tei_edit-js {
  height: 100%;
}

.CodeMirror {
  border: 1px solid #CCC;
  border-top-color: #999;
  height: 100%;
  font-size: 14px;
}
